SmullyanのRepresentation Systems